Перевод: с английского на все языки

со всех языков на английский

unconditional logic

См. также в других словарях:

  • Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… …   Wikipedia

  • Nyaya — Part of a series on Hindu philosophy …   Wikipedia

  • international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… …   Universalium

  • Counter machine — A counter machine is an abstract machine used in formal logic and theoretical computer science to model computation. It is the most primitive of the four types of register machines. A counter machine comprises a set of one or more unbounded… …   Wikipedia

  • Comte and positivism — Robert Brown COMTE’S AIMS The chief aim of all of Auguste Comte’s publications, and the constant mission of his entire working life, was the improvement of human character through the perfecting of human society. He was convinced that the… …   History of philosophy

  • Grammar of Assent — An Essay in Aid of a Grammar of Assent is John Henry Newman s seminal work. Though completed in 1870, Newman revealed to friends that it took him 20 years to write the book after many fits and starts.The Grammar was an apologia for faith. Newman… …   Wikipedia

  • Theophrastus — Statue of Theophrastus, Orto botanico di Palermo Full name Theophrastus Born c. 371 BC Eresos Died c. 287 BC …   Wikipedia

  • Counterplan — For other uses, see Counterplan (disambiguation). Part of the series Policy Debate Organization Policy debate competitions Inter Collegiate policy debate Format Structure of policy debate · …   Wikipedia

  • Register machine — In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent. Contents 1 Overview 2 Formal definition 3 …   Wikipedia

  • Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics       Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity.       Computer scientist Manindra Agrawal of the… …   Universalium

  • Aristotle — For other uses, see Aristotle (disambiguation). Ἀριστοτέλης, Aristotélēs Marble bust of Aristotle. Roman copy after a Gree …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»